zero as the additive identity